Досліджено композиції часткових предикатів граничного конкретного рівня абстракції, які є основою різних інфінітарних логік предикатів. Наведено повний опис таких композицій в термінах спеціальних алгебр Кліні та побудовано повні системи тотожностей для таких композицій. Визначено необхідні та достатні умови застосування правила виведення modus ponens для логік часткових предикатів.

Визначено та досліджено композиції часткових предикатів граничного високого рівня абстракції, які є основою інфінітарних пропозиційних логік. Наведено повний опис таких композицій в термінах спеціальних алгебр, названих алгебрами Кліні, та побудовано повну систему тотожностей для таких композицій.

Індекс рубрикатора НБУВ: Е621.158.262Dvo*801.1-642

Шифр НБУВ: Ж60216 Пошук видання у каталогах НБУВ 

Розглянуто методологічні питання визначення поняття програми. Аргументовано, що визначення повинно розглядатися у розвитку від абстрактного до конкретного, вводитись у єдності інтенсійних та екстенсійних аспектів бути формалізованим на основі поняття функції. Наведені положення проілюстровано на прикладах визначення різних класів обчислюваних програм.

Розглянуто та проаналізовано основні принципи адресного програмування - принцип адресності та принцип програмного керування. Продемонстровано подальший розвиток наведених принципів у межах композиційного та композиційно-номінативного програмування.

Рассмотрены вопросы диагностики и лечения гастроэзофагеальной рефлюксной болезни, включая данные эндоскопических обследований за последние два года. Проанализированы внепищеводные атипические клинические формы и формы, резистентные к лечению. Подтверждено предположение о том, что хронический гастрит и дуоденит могут быть факторами риска возникновения эрозивной формы гастроэзофагеальной рефлюксной болезни.

Рассмотрена возможность применения композиционно-номинативных логик как инструмента проведения формально-логических рассуждений в рамках технологии инсерционного моделирования. Обоснована теоретическая база такого применения - сформулирована задача проверки выполнимости формул в многосортных композиционно-номинативных логиках первого порядка. Предложен редукционный подход к ее решению.

Розкрито правову суть контрольних правовідносин у господарській діяльності. Розглянуто державний контроль як умову правопорядку у сфері господарської діяльності. Викладено особливості захисту прав та інтересів учасників контрольних правовідносин. Висвітлено поняття й особливості здійснення податкового контролю у сфері господарювання. Досліджено міжнародний досвід реформування державного контролю.

Визначено місце та роль державного контролю (ДК) у забезпеченні суспільного господарського порядку, надано правову аргументацію застосовування до відносин ДК у сфері господарювання концепції публічних послуг. Вдосконалено принципи ДК у сфері господарської діяльності, виявлено господарсько-правову природу та сформульовано його поняття. Обгрунтовано пропозиції щодо повноважень і відповідальності органів ДК. Проаналізовано правове положення суб'єктів господарювання у відносинах з органами ДК, аргументовано їх право вимагати укладення організаційно-господарських договорів з органами ДК та інші пропозиції до законодавства. Досліджено право на захист і способи захисту прав та інтересів учасників відносин ДК у сфері господарської діяльності, обгрунтовано пропозиції щодо шляхів його вдосконалення. Проаналізовано фактори, які негативно впливають на захист інтересів держави у контрольних правовідносинах із суб'єктами господарювання. Обгрунтовано розширення законодавчих гарантій прав суб'єктів господарювання у відносинах з органами ДК. Досліджено зарубіжний досвід, виявлено сучасні моделі й основні напрями вдосконалення правового регулювання ДК у сфері господарської діяльності за кордоном. Обгрунтовано основні напрями вдосконалення правового регулювання ДК у сфері господарської діяльності в Україні.

Рассмотрены возможные принципиальные схемы реализации управления впускным клапаном поршневого кривошипного пневмодвигателя с помощью устройств электрогидроавтоматики.

Розглянуто науково-творчу спадщину академіка Національної академії наук та Національної академії правових наук України Валентина Карловича Мамутова. Обговорено актуальні та найбільш сучасні питання правового забезпечення господарських відносин в Україні та за кордоном. Охарактеризовано новітні тенденції у господарському процесі, шляхи модернізації та рекодифікації господарського законодавства в контексті стратегічного курсу України щодо реалізації положень Угоди про асоціацію з Європейським Союзом. Захід проведено за технічної підтримки Ресурсного Центру соціально-правової та професійної підтримки співробітників переміщених ЗВО/наукових установ (створений за підтримки Офісу Ради Європи в Україні). Висвітлено питання модернізації цивільного та господарського законодавства України, національну стратегію розвитку публічних закупівель та їх роль у реалізації цілей сталого розвитку. Увагу приділено питанню звільнення посадових осіб господарських товариств у зв’язку з припиненням їх повноважень.

Надано базові правові знання з питань організації та здійснення торговельної діяльності, розглянуто особливості правового регулювання окремих інститутів торгового права та практику врегулювання господарських спорів. Висвітлено загальні положення про торгове право. Проаналізовано особливості правового регулювання аукціонної торгівлі, рекламної діяльності, оптової та роздрібної, електронної, а також зовнішньої торгівлі. Увагу приділено проблемам контролю у сфері торгівлі.